1. Automated deduction in geometry
پدیدآورنده: / Francisco Botana, Tomas Recio (eds.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Geometry--Data processing--Congresses,Automatic theorem proving--Congresses,Logic, Symbolic and mathematical--Congresses
رده :
QA
,
448
,.
D38
,
I577
,
2006
